🔀 SSA Construction - abnv · Scour

Early History of a Perfect Join Algorithm

remy.wang·12h

📈Query Optimization

Oatmeal - Constraint propagation for fun

eli.li·7h

🧩Constraint Solvers

SEAL: Symbolic Execution with Separation Logic (Competition Contribution)

arxiv.org·2d

🎯Symbolic Execution

Performance Tip of the Week #83: Reducing memory indirections

abseil.io·12h

💾Cache Algorithms

Sparse Sum‑of‑Squares Certification for High‑Dimensional Stochastic Control Systems — ### Abstract High‑dimensional stochastic control systems—such as ...

freederia.com·1d

⚡Control Synthesis

Adaptive Neuro-Symbolic Planning for smart agriculture microgrid orchestration in hybrid quantum-classical pipelines

dev.to·58m·

Discuss: DEV

🏛️Elm Architecture

feldera/feldera: The Feldera Incremental Computation Engine

github.com·1d

🚂Cranelift IR

8-piece tablebase development on Lichess (op1 partial)

lichess.org·1d·

Discuss: Hacker News

🎭Racket Modules

The Adventures of a Pythonista in Schemeland/26

artima.com·12h

🔧Scheme Macros

Secrets management with SOPS Guix -- fishinthecalculator

fishinthecalculator.me·7m

🛡️Capability VMs

Antiparallels, an Overlooked HS Beauty

pballew.blogspot.com·3h·

Discuss: Blogger

🔶Lattice Theory

Private Data Space Model

privatedata.space·3d

🪢Rope Data Structures

Deep dive into Hierarchical Navigable Small Worlds

amandeepsp.github.io·10h·

Discuss: r/Zig, r/programming

🤐Zipper Structures

Build a Compiler in Five Projects

kmicinski.com·1d

🎭Racket Modules

Dot Chain Special Operators

yamlscript.org·1d

Constrained parallel tempering in traveling-salesman problems with circular neighborhoods

link.aps.org·1d

⏭️Skip Lists

outer measure in nLab

ncatlab.org·3d

🔗Category Theory

Automate the C-Suite

theideasletter.org·16h

🎭Program Synthesis

Show HN: LocalGPT – A local-first AI assistant in Rust with persistent memory

news.ycombinator.com·6h·

Discuss: Hacker News

🔒Rust Borrowing

Comparing accumulate to C++23s fold_left

meetingcpp.com·12h

Loading more...